#lean specifications